1. A first course in logic /
پدیدآورنده : Mark V. Lawson, Heriot-Watt University, Edinburgh.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical, Problems, exercises, etc.,Logic.,Logic, Symbolic and mathematical.,Logic.,MATHEMATICS-- General.
رده :
QA9
.
L37256
2018eb
2. A teaching companion to Lemmon's Beginning logic /
پدیدآورنده : George F. Schumm.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Predicate calculus.,Propositional calculus.,Predicate calculus.,Propositional calculus.
رده :
QA9
.
3
.
L45
3. Automation of Reasoning :
پدیدآورنده : edited by Jörg H. Siekmann, Graham Wrightson.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
رده :
QA76
.
9
.
A96
E358
1983
4. Beginning logic
پدیدآورنده : Lemmon, E. J. )Edward John(
کتابخانه: Central Library of APLL (Tehran)
موضوع : ، Propositional calculus,، Predicate calculus
رده :
QA
9
.
3
.
L4
1965
5. Beginning logic
پدیدآورنده : Lemmon, E. J.)Edward John(
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Propositional calculus,، Predicate calculus
رده :
QA
9
.
3
.
L45
1965
6. Beginning logic /
پدیدآورنده : E.J. Lemmon.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Predicate calculus.,Propositional calculus.,Calcul des prédicats.,Calcul propositionnel.,08.33 logics and argumentation.,Logica.,Predicate calculus.,Propositional calculus.
رده :
QA9
.
3
.
L45
7. Beginning logic
پدیدآورنده : Lemmon, Edward John
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Propositional calculus,، Predicate calculus
رده :
QA
9
.
3
.
L45
8. Beginning logic
پدیدآورنده : E. J. Lemmon,Title
موضوع : Propositional calculus,Predicate calculus
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
9. Beginning logic
پدیدآورنده : Lemmon, Edward John
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Propositional calculus , Predicate calculus
رده :
QA
9
.
3
.
L45
1987
10. Catalogue of Artificial Intelligence Tools
پدیدآورنده : edited by Alan Bundy, Lincoln Wallen.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.
رده :
Q336
.
E358
1984
11. Computational Logic - CL 2000 :
پدیدآورنده : edited by John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer architecture.,Computer science.,Software engineering.
رده :
QA76
.
9
.
L63
E358
2000
12. Computational logic and set theory
پدیدآورنده : / Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Set theory
رده :
E-BOOK
13. Computational logic and set theory :
پدیدآورنده : Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Set theory
رده :
QA248
.
S39
2011eb
14. Formal Engineering for Industrial Software Development :
پدیدآورنده : by Shaoying Liu.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
76
.
D47
B974
2004
15. Formal systems and recursive functions /
پدیدآورنده : edited by J.N. Crossley and M.A.E. Dummett.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical, Congresses.,Recursive functions, Congresses.,Fonctions récursives.,Logique symbolique et mathématique.,Fonctions récursives-- Congrès.,Logic, Symbolic and mathematical.,Logique symbolique et mathématique-- Congrès.,Recursive functions.
رده :
QA9
.
615
.
F67
1965
16. Learning Discrete Mathematics with ISETL
پدیدآورنده : by Nancy Baxter, Ed Dubinsky, Gary Levin.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Combinatorics.,Mathematics.
17. Logical Structures for Representation of Knowledge and Uncertainty
پدیدآورنده : by Ellen Hisdal.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.,Operations research.
18. Many-Valued Logics :
پدیدآورنده : by Leonard Bolc, Piotr Borowik.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic, Symbolic and mathematical.
رده :
QA9
.
45
B954
1992
19. Metamathematics of Fuzzy Logic
پدیدآورنده : by Petr Hájek.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
